|
B
backtracking, 129, 131, 140, 141, 151, 152, 154, 182, 228, 229, 250, 254, 255, 360, 384, 400, 404, 438, 442, 443, 456
backward chaining, v, vi, 141, 226, 227, 228
Barendregt, 7, 167, 170, 486
base case, 38, 39
base types, 201
benchmarks, 15, 191, 192, 406
Bendix, 32, 33, 492
Bergstra, 32, 485
binary, 58, 458
bind, 158, 222, 245, 308, 354, 359, 362, 386, 387, 392, 393, 394, 405, 440, 454, 455, 456, 457
binding vector, 383, 384
bindings, 350, 435
boolean, 20, 23, 24, 162, 168, 178, 201, 208, 232, 412, 427, 428, 429, 430, 432, 434, 437, 447, 459, 461, 462, 463, 466, 471, 474, 476
bound, 4, 21, 157, 158, 159, 161, 168, 170, 426
Boyer-Moore, 486
Boyle’s Law, 5, 6
B-rules, 438
bubble sort, 67, 74, 75, 76, 80
byte, xiv, 87, 15, 107, 173, 284, 285, 286, 288,
294, 469, 475
|
|
